<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="ArendSettings">
    <option name="consolePrintingOptions">
      <ArendPrintingOptions>
        <option name="showCoerceDefinitions" value="true" />
        <option name="showConstructorParameters" value="true" />
        <option name="showImplicitArgs" value="true" />
        <option name="showTypesInLambda" value="true" />
      </ArendPrintingOptions>
    </option>
    <option name="errorPrintingOptions">
      <ArendPrintingOptions>
        <option name="showCoerceDefinitions" value="true" />
        <option name="showConstructorParameters" value="true" />
        <option name="showImplicitArgs" value="true" />
        <option name="showTypesInLambda" value="true" />
      </ArendPrintingOptions>
    </option>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_19_PREVIEW" project-jdk-name="graalvm-19" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
</project>